mathematical semantics
[ˌmæθiˈmætikəl sɪˈmæntɪks]
- 基础释义 纠错
- 释义
[计] 数学语义;
- 双语例句 更多例句
-
1、
本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。
来源：互联网摘选 -
2、
Petri网作为一种形式化的开发工具，具有严格的数学语义，可以方便的对系统进行分析和验证，以解决面向对象技术缺乏形式化的描述和分析验证问题。
来源：互联网摘选
- 相关词组
- 相关阅读
-
美国加州大火已导致9000多座建筑受损
简答网 · 双语新闻
-
高考英语真题作文范文：通知比赛（2019年全国2卷）
简答网 · 高考英语
-
高考英语完形填空真题33（含答案解析）
简答网 · 高考英语
-
赞达亚与荷兰弟 Tom Holland 订婚啦！
简答网 · 双语娱乐资讯
-
Little Mix乐队前成员Jesy Nelson官宣怀双胞胎
简答网 · 双语娱乐资讯
-
高考英语真题作文范文：一篇英文周记（2018年北京卷）
简答网 · 高考英语